history of the eraser